Exercises
1. algebra
| algebra.equations.coverup | provisional | solve an equation by covering up |
| algebra.equations.linear | stable | solve a linear equation |
| algebra.equations.linear.balance | provisional | Solve a linear equation using only balance rules. |
| algebra.equations.linear.mixed | provisional | solve a linear equation with mixed fractions |
| algebra.equations.polynomial | stable | solve an equation (higher degree) |
| algebra.equations.quadratic | stable | solve a quadratic equation |
| algebra.equations.quadratic.approximate | provisional | solve a quadratic equation with approximation |
| algebra.equations.quadratic.no-abc | provisional | solve a quadratic equation without abc-formula |
| algebra.equations.rational | provisional | solve a rational equation (with a variable in a divisor) |
| algebra.inequalities.linear | provisional | solve a linear inequation |
| algebra.inequalities.polynomial | provisional | solve an inequation of higher degree |
| algebra.inequalities.quadratic | provisional | solve a quadratic inequation |
| algebra.manipulation.exponential.equation | provisional | solve exponential equation algebraically |
| algebra.manipulation.exponents.equation | provisional | solve power equation algebraically with x > 0 |
| algebra.manipulation.exponents.nonnegative | provisional | write with a non-negative exponent |
| algebra.manipulation.exponents.powerof | provisional | write as a power of a |
| algebra.manipulation.exponents.simplify | provisional | simplify expression (powers) |
| algebra.manipulation.logarithmic.equation | provisional | solve logarithmic equation algebraically |
| algebra.manipulation.polynomial.expand | provisional | expand an expression to polynomial normal form |
| algebra.manipulation.polynomial.factor | provisional | factorize the expression |
| algebra.manipulation.rational.simplify | alpha | simplify a rational expression (with a variable in a divisor) |
2. arithmetic
| arithmetic.exponents | provisional | simplify expression (powers) |
| arithmetic.fractions | provisional | simplify fractions |
| arithmetic.fractions.liberal | provisional | simplify fractions liberally |
| arithmetic.fractions.steps | alpha | Fraction exercise for STEPS |
3. calculus
| calculus.differentiation | provisional | Derivative |
| calculus.differentiation.polynomial | provisional | Find the derivative of a polynomial. First normalize the polynomial (e.g., with distribution). Don't make use of the product-rule, or other chain rules. |
| calculus.differentiation.product | provisional | Use the product-rule to find the derivative of a polynomial. Keep the parentheses in your answer. |
| calculus.differentiation.quotient | provisional | Use the quotient-rule to find the derivative of a polynomial. Only remove parentheses in the numerator. |
4. linearalgebra
| linearalgebra.gaussianelim | stable | Gaussian Elimination |
| linearalgebra.gramschmidt | alpha | Gram-Schmidt |
| linearalgebra.linsystem | stable | Solve Linear System |
| linearalgebra.systemwithmatrix | provisional | Solve Linear System with Matrix |
5. logic
| logic.propositional.cnf | stable | Proposition to CNF |
| logic.propositional.cnf.unicode | stable | Proposition to CNF (unicode support) |
| logic.propositional.consequence | experimental | Prove that formula is a logical consequence of a set of formulas |
| logic.propositional.dnf | stable | Proposition to DNF |
| logic.propositional.dnf.unicode | stable | Proposition to DNF (unicode support) |
| logic.propositional.proof | experimental | Prove two propositions equivalent |
| logic.propositional.proof.top | experimental | Prove two propositions equivalent (with top-level decomposition) |
| logic.propositional.proof.unicode | experimental | Prove two propositions equivalent (unicode support) |
6. relationalgebra
| relationalgebra.cnf | alpha | To conjunctive normal form |